讲座一

题目：航天嵌入式软件可信性度量模型与工具

报告人：陈仪香 教授

内容简介：报告将介绍航天嵌入式软件可信性度量模型与工具，重点包括软件可信性研究背景、软件可信性度量模型满足的数学公理以及度量模型，航天嵌入式软件度量评估体系和分级模型与度量评估工具，以及增强指南。本研究工作使航天嵌入式软件评估从定性向量化分级评估转变， 实现了科学、合理、适用性强地航天嵌入式软件可信评估与设计。

讲座二

题目：数学及理工科专业学子的职业发展探析--一个实例简介

报告人：徐剑钧 博士

内容简介：通过自身求学经历和职业发展的经验介绍，阐述数学与现代经济学、金融业的联系，针对数学和理工科专业的学子们探讨相关职业发展的切入点，概述银行业、保险业、证券业和基金投资领域的主流岗位和特点，为数学及理工科本科和研究生提前准备职业规划提供信息和建议。此报告适合数学及理工科大二、大三、大四和研究生。

时间：12月2日下午3：00-6：00

地点：E阶梯教室202

陈仪香教授简介

陈仪香， 华东师范大学计算机科学与软件工程学院 软件工程学科教授/博士生导师， 软硬件协同设计技术与应用教育部工程研究中心主任、嵌入式软件与系统系主任。1995年于四川大学数学系获理学博士学位、1996-1997年苏州大学数学博士后流动站从事程序设计语言形式语义数学基础研究。主要研究领域包括程序设计语言的形式化语义学、实时系统的形式化建模理论、软件可信度量与评估方法、软硬件协同设计技术。建立了程序设计语言稳定论域的逻辑表示理论、设计了具有时空一致性的实时系统规范建模语言STeC、构造了嵌入式软件可信评估方法，构建了模型驱动的软硬件协同设计体系与技术。承担了973物联网课题、863先进计算课题、国家自然科学基金委“可信基础软件”重大研究计划等重要研究项目。在国内外重要学术期刊和国际会议上发表学术论文100余篇，出版国家自然科学基金研究专著1部，与别人合作编辑出版国际学术会议论文集3部。获得教育部自然科学奖一等奖，荣获首届江苏省优秀骨干青年教师称号、上海市曙光学者称号。近来多年讲授研究生《软件理论基础》课程以及本科生/研究生《软硬件协同设计》课程，主持上海市教委重点课程项目“软硬件协同设计”。担任中国人工智能学会人工智能专委会副主任委员、中国计算机学会嵌入式系统专业委员会副主任委员、中国系统科学学会模糊系统与模糊数学专业委会副主任委员、中国电子学会云计算专家委员会委员、上海浦东物联网协会副会长。

徐剑钧博士简介

徐剑钧，经济学博士，现任西部利得基金管理有限公司董事长。先后毕业于陕西师范大学数学系、复旦大学中美经济学研究中心和爱丁堡大学管理学院。硕士研究生时师从著名数学家王国俊教授。曾任陕西财经学院讲师、山东大学讲座教授、西部证券股份有限公司副总裁、纽约银行梅隆基金管理公司董事督察长。

欢迎全校师生参加！

注：本次讲座纳入数学系继续教育课程。

理学院

2016年11月30日